62. Full abstraction and semantic equivalence

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
7
.
M86